https://filesoo.com/product/38594/isometric-embeddings-of-riemannian-and-pseudo-riemannian-manifolds